A Unified Functional Look at Completion in MET, UNIF and AP

نویسندگان

  • Robert Lowen
  • Mark Sioen
چکیده

In this paper we establish an alternative characterization of the completion theory for metric spaces which makes fundamental use of a special type of real valued maps, and we derive alternative descriptions for the completions of both Hausdorff uniform and Hausdorff uniform approach spaces. Mathematics Subject Classifications (2000): 54B30, 54D35, 54E15, 54E35, 54E99.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

O20: Primary and Secondary Survey in Pediatric Trauma

During the primary survey life-threatening or limb-threatening conditions are identified and management is instituted simultaneously. Priorities for the care of Adult, Pediatrics & Pregnancy women are all the same. You should do Rapid sequential way to assess the patients in 10 seconds Treat as you find life threatening condition and Repeat if at any time unstable Vital signs should be repeated...

متن کامل

UNIF: a Simulation Framework for Numerical Integration Models

This paper presents a simulation framework called UNIF (Unified Numerical Integration Framework) to design numerical integration models, i.e. models mainly ruled by ordinary differential equations. We describe the object-oriented structure of UNIF, which allows to model a system as a hierarchical aggregation of subsystems interacting together, each one having a set of inputs, outputs and integr...

متن کامل

رابطه آسیب های عملکردی با ساختار اندام فوقانی در والیبالیست های سوپر لیگ کشور

Through careful examination and identification of types of injuries in any sport field, helpful influential recommendations can be provided for athletes and coaches to correct defective and harmful techniques, and to observe suitable scientific principles of exercise and treatment. The purpose of this study was to determine the relationship among functional and anatomical injuries of upper extr...

متن کامل

Domain Compression for Complete Abstractions

Domain Base Model checker refinements Transition system Temporal formula Spurious counterexample — > ¢¤ £¥¦ §© ̈ a « ¬ is the simplest model on which to check a formula yet achieving the same precision as does. R. Giacobazzi and I. Mastroeni:Domain Compression for Complete Abstractions – p.14/15 Future works: Geometry of Domain Transformers Compressor Compressor join−unif Obfuscator Ofuscator uc...

متن کامل

CONSOLIDATION TREATMENT WITH INTRAPERITONEAL CISPLATIN IN EPITHELIAL OVARIAN CANCER FOLLOWING NEGATIVE SURGICAL ASSESSMENT

Objective: The goal of this study is to evaluate the efficacy of intraperitoneal (JP) cisplatin as consolidation treatment, in epithelial ovarian cancer patients with pathologically negative surgical reassessment, following first-line platinum-based chemotherapy. Methods: This study included 22 patients with FIGO stage (IIc- IV) epithelial ovarian cancer (EOC) which had no evidence of disea...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Applied Categorical Structures

دوره 8  شماره 

صفحات  -

تاریخ انتشار 2000